countability axiom

可數性公理